proving trigonometric identities formulas